Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
551	Universit´e Henri Poincar´e – LORIA (INRIA) Unbounded Proof-Length Speed-up in Deduction Modulo 16th EACSL Annual Conference on Computer Science and Logic Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:28:56
552	Journal of Logic and Computation Advance Access published July 17, 2013 Universality in two dimensions NACHUM DERSHOWITZ, School of Computer Science, Tel Aviv University, Ramat Aviv 69978, Israel. E-mail: nachum.dershow Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2013-07-30 08:21:00
553	BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Semantics, Modularity, and Rewriting Logic Semantics, Modularity, and Rewriting Logic Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-03-25 08:38:10
554	BRICS Basic Research in Computer Science BRICS RS-98-8 Thiagarajan & Henriksen: Distributed Versions of Linear Time Temporal Logic Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-04-05 10:42:03
555	Task Granularity Analysis in Logic Programs Saumya K. Debray Nai-Wei Lin Department of Computer Science The University of Arizona Tucson, AZ 85721 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2004-03-05 08:31:15
556	BRICS RS-07-2 Aceto & Ing´olfsd´ottir: Characteristic Formulae: From Automata to Logic BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-01-18 02:32:43
557	Lecture 1: The Formulas of Propositional Logic 1 Logic in Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2014-10-07 13:45:44
558	Published in “Logic in Computer Science”, LICS, A Sound Framework for Untrusted Verification-Condition Generators George C. Necula∗ Robert R. Schneck Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25
559	BRICS Basic Research in Computer Science BRICS LS-98-2 C. Butz: Regular Categories and Regular Logic Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-03-24 17:56:49
560	Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-01-08 08:10:54 Type theory Lambda calculus Formal methods Logic in computer science Coq Pure type system HOL Correctness Automated proof checking Theoretical computer science Applied mathematics Programming language theory

UPDATE